Representation theory - PDFSEARCH.IO - Document Search Engine

Representation theory
Results: 2297

#	Item
701	Elements of a Computational Theory of Location Werner Kuhn Institute for Geoinformatics University of Münster Robert-Koch-Str, DMünster, Germany Tel. +, Fax + Add to Reading List Source URL: itcnt05.itc.nl Language: English - Date: 2005-02-27 17:00:00 Logic Information science Knowledge representation Technical communication Cartography Mereology Ontology Web Ontology Language Localization Semantic Web Science Information
702	Dual Temporal Difference Learning Min Yang Dept. of Computing Science University of Alberta Edmonton, Alberta Add to Reading List Source URL: webdocs.cs.ualberta.ca Language: English - Date: 2009-03-22 22:09:23 Weight Algebra Representation theory Spectral theory Ordinary differential equations Abstract algebra Representation theory of Lie algebras Representation theory of Lie groups
703	– p. 1/2 In collaboration with: Irina Potashnikova Ivan Schmidt Jacques Soffer Add to Reading List Source URL: www.pg.infn.it Language: English - Date: 2008-07-16 08:50:38 Representation theory Homotopy theory
704	2014 IEEE International Conference on Robotics & Automation (ICRA) Hong Kong Convention and Exhibition Center May 31 - June 7, 2014. Hong Kong, China Controlled Natural Languages for Language Generation in Artificial Cog Add to Reading List Source URL: ai.uni-bremen.de Language: English - Date: 2015-02-04 07:20:25 Science Knowledge representation Computational linguistics Attempto Controlled English Discourse representation theory Controlled natural language Ace Knowledge representation and reasoning DRS Linguistics Natural language processing Semantics
705	Open Research Online The Open University’s repository of research publications and other research outputs Grouping axioms for more coherent ontology descriptions Conference Item Add to Reading List Source URL: oro.open.ac.uk Language: English - Date: 2012-12-09 05:17:19 Information science Semantic Web Z notation Ontology Knowledge representation Axiom Web Ontology Language S Type theory Mathematical logic Logic Science
706	MAJA RITA RUDOLPH 600 W 122nd Street New York, NY, ) · 491 · 8877 EDUCATION Columbia University Digital Video and Multimedia Lab Add to Reading List Source URL: maja-rita-rudolph.com Language: English - Date: 2014-11-29 14:46:29 Association of Independent Technological Universities Massachusetts Institute of Technology New England Association of Schools and Colleges Hecke algebra Erich Hecke Academia Higher education Representation theory Mathematics Association of American Universities
707	Discovering Itemset Interactions∗ Ping Liang1 , John F. Roddick1 , Aaron Ceglar1,2 , Anna Shillabeer1,3 and Denise de Vries1 1 School of Computer Science, Engineering and Mathematics Add to Reading List Source URL: crpit.com Language: English - Date: 2012-01-19 01:28:48 Data management Information technology management Information Binary trees Knowledge representation Tree traversal Tree B-tree T-tree Data mining Graph theory Association rule learning
708	1 “A Vehicle of Symbols and Nothing More” George Romanes, Theory of Mind, Information, and Samuel Butler1 Donald R. Forsdyke Add to Reading List Source URL: arxiv.org Language: English - Date: 2014-11-16 20:03:02 Mental processes Neuropsychological assessment Cognition George Romanes Comparative psychology Consciousness Thought Mental representation Language of thought hypothesis Mind Cognitive science Philosophy of mind
709	The One-Way Communication Complexity of Subgroup Membership Add to Reading List Source URL: cjtcs.cs.uchicago.edu Language: English - Date: 2014-07-09 06:58:28 Representation theory Representation theory of finite groups Induced representation Harmonic analysis Group representation Weight Index of a subgroup Normal subgroup Character theory Abstract algebra Group theory Representation theory of Lie groups
710	Formalizing the LLVM Intermediate Representation for Verified Program Transformations ∗ Jianzhou Zhao Santosh Nagarakatte Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2012-01-05 09:49:14 Data types Type theory Compiler construction Primitive types Cross-platform software LLVM Type safety Blocks Pointer Software engineering Computing Computer programming

UPDATE